Session 53: European and Global ART Monitoring

Network Monitoring Session Description

Network Monitoring is a complex activity that is based on the coordination among distinct local activities: those that use monitoring results, those that implement monitoring activity, and other that act as intermediaries. We illustrate a comprehensive view of a Network Monitoring Architecture, starting from the demands of security and scalability, and define, to give a practical perspective to...

Global Art

On Global Types and Multi-Party Session

Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progr...

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason

Global session types are behavioral types designed for specifying in a compact way multiparty interactions between distributed components, and verifying their correctness. We take advantage of the fact that global session types can be naturally represented as cyclic Prolog terms which are directly supported by the Jason implementation of AgentSpeak to allow simple automatic generation of self-m...

Global Governance and European Identity

The peaceful and democratic integration of the European countries, including the Eastern enlargement of the Union, cannot be completed if the EU does not become a true, though not federal, polity. Making the European institutions fully legitimate and accountable requires the development of political identity in a shape which is different from both national and cultural identity, but is not oppo...